Home

powered operator
an operator that applies another operator multiple times
eg, op^4 |some ket> is a short-cut for: op op op op |some ket>
again, a nod back to operator application being a special type of multiplication
a powered op is just an operator raised to some integer power

-- let's define a simple operator that prepends a category:
op |*> #=> |op> :_ |_self>

-- now let's power it to the 5th power:
op^5 |some ket>
    |op: op: op: op: op: some ket>